募捐 9月15日2024 – 10月1日2024 关于筹款
1
Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
年:
2018
语言:
english
文件:
EPUB, 15.52 MB
0 / 5.0
english, 2018
3
Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
年:
2018
语言:
english
文件:
EPUB, 13.56 MB
0 / 0
english, 2018
7
25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Grumberg, Orna., Veith, Helmut
年:
2008
语言:
english
文件:
PDF, 42.39 MB
0 / 5.0
english, 2008
9
Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)
年:
2018
语言:
english
文件:
PDF, 10.90 MB
5.0 / 5.0
english, 2018
10
Handbook of model checking

Handbook of model checking

Bloem, Roderick, Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut et al. (eds.)
年:
2018
语言:
english
文件:
PDF, 7.97 MB
0 / 0
english, 2018